Test of Discrete Devices Modeled on High Level by Uml
نویسندگان
چکیده
The Unified Modeling Language (UML) allows the description of complex discrete devices in a clear understandable manner. After the mapping of such a high level model to a basically tested programmable hardware, the test of the special behavior arises. This paper introduces the object oriented modeling of discrete devices by UML, shows the model transfer between the CASE tool and the test tool by XML emphasizes the generation and parameterization of the test cases, and presents our practical results.
منابع مشابه
Validating UML simulation models with model-level unit tests
We describe model-level unit tests for model-driven simulation based on UML models. We refer to the well-known unit testing method and apply this concept on a higher abstraction level, that is on UML simulation models. The concept of model-based simulation has become more and more popular throughout the last years. This trend is fostered by the availability of tools that automatically transform...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملModeling a Smart Hospital Information Architecture Based on Internet of Things and Recommender Agent
Introduction: Today, healthcare organizations worldwide are aware of the significance of technology and its impact on the quality of care. Hospitals are one of the most crucial systems in which the utilization of information is particularly important for several reasons. Using discrete-event simulation and developing a recommender agent, this study aimed to allocate IoT devices to patients in s...
متن کاملModeling a Smart Hospital Information Architecture Based on Internet of Things and Recommender Agent
Introduction: Today, healthcare organizations worldwide are aware of the significance of technology and its impact on the quality of care. Hospitals are one of the most crucial systems in which the utilization of information is particularly important for several reasons. Using discrete-event simulation and developing a recommender agent, this study aimed to allocate IoT devices to patients in s...
متن کاملLocation of Heath Care Facilities in Competitive and User Choice Environment
The location of facilities anywhere in an area in which several competing facilities already exist and serving the demand points has been brought to light in this work. Because of the great importance of health care systems in the health of the people, these systems have been studied in the present paper. Creation and maintenance of competitive advantage in health care systems requires optimizi...
متن کامل